/* Objetivo inicial */

!aguardar.

/* Planos */


+!aguardar : lixo(asp) & not finalMove(asp) & not posLimpa <-
	mover(asp);
	!aguardar.

+!aguardar : finalMove(asp) & not posLimpa <- .print("Limpei o lixo") ; limparLixo(asp) ; !aguardar.

+!aguardar : finalMove(asp) & posLimpa <- .print("Checar Resto") ; checkResto ; .print("Resto checado") ; !aguardar .

-!aguardar : true <- !limparRestante .

+restam(X,Y) : Y < 6 & not hasOwner <- .print("Limpos (",Y,",6)") .

+restam(X,Y) : X > 0 & Y = 6 & not hasOwner <- .print("Leilao") ; leilao ; !limparRestante .

+!limparRestante : leilaoOk & goto & not done <-  .print("Vou limpar restante") ; limpar ; !limparRestante.

-!limparRestante : true <- !limparRestante .

+!limparRestante : done <- .print("Fim") ; done ; !limparRestante.